Books by author Roberto Gorrieri

Showing 1 – 17 out of 17 results

1. 

   Formal Methods for Open Object-Based Distributed Systems

   Roberto Gorrieri, Heike Wehrheim | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.65 €

   Sale 7 %

   You save 4.28 €

   Buy
2. 

   Foundations of Security Analysis and Design VI

   Alessandro Aldini, Roberto Gorrieri | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.65 €

   Sale 7 %

   You save 4.28 €

   Buy
3. 

   Syntax and Semantics of Petri Nets

   Roberto Gorrieri | Cambridge University Press, 2025

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Hardback

   133.74 €

   Buy
4. 

   Foundations of Security Analysis and Design

   Riccardo Focardi, Roberto Gorrieri | Springer, Berlin, 2001

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.65 €

   Sale 7 %

   You save 4.28 €

   Buy
5. 

   Process Algebras for Petri Nets

   Roberto Gorrieri | Springer International Publishing AG, 2018

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   82.38 €

   Sale 7 %

   You save 6.88 €

   Buy
6. 

   Foundations of Security Analysis and Design

   Alessandro Aldini, Roberto Gorrieri | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.65 €

   Sale 7 %

   You save 4.28 €

   Buy
7. 

   Formal Methods for Open Object-Based Distributed Systems

   Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri | Springer, Berlin, 1999

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   205.62 €

   Sale 7 %

   You save 17.10 €

   Buy
8. 

   Automata, Languages and Programming

   Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1997

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   109.17 €

   Buy
9. 

   Computational Methods in Systems Biology

   Pierpaolo Degano, Roberto Gorrieri | Springer, Berlin, 2009

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   109.17 €

   Buy
10. 

    Introduction to Concurrency Theory

    Roberto Gorrieri, Cristian Versari | Springer International Publishing AG, 2015

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    50.54 €

    Sale 9 %

    You save 5.39 €

    Buy
11. 

    Foundations of Security Analysis and Design II

    R. Focardi, Roberto Gorrieri | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.65 €

    Sale 7 %

    You save 4.28 €

    Buy
12. 

    Introduction to Concurrency Theory

    Roberto Gorrieri, Cristian Versari | Springer International Publishing AG, 2016

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    50.54 €

    Sale 9 %

    You save 5.39 €

    Buy
13. 

    Foundations of Security Analysis and Design III

    Roberto Gorrieri, Fabio Martinelli, Alessandro Aldini | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

    
    

    Low in stock at our supplier - Shipping in 13 - 18 days

    Language: English

    Binding: Paperback

    50.84 €

    Buy
14. 

    Process Algebras for Petri Nets

    Roberto Gorrieri | Springer International Publishing AG, 2017

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    82.38 €

    Sale 7 %

    You save 6.88 €

    Buy
15. 

    Formal Methods for Open Object-Based Distributed Systems, 1

    Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri | Springer, Berlin, 2013

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    205.62 €

    Sale 7 %

    You save 17.10 €

    Buy
16. 

    Formal Methods for Open Object-Based Distributed Systems

    Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri | Springer Nature B.V., 2013

    
    

    In stock at our supplier - Shipping in 10 - 18 days

    Language: English

    Binding: Paperback

    56.91 €

    Sale 0 %

    You save 0.01 €

    Buy
17. 

    Foundations of Security Analysis and Design V

    Alessandro Aldini, Gilles Barthe, Roberto Gorrieri | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

    
    

    Low in stock at our supplier - Shipping in 13 - 18 days

    Language: English

    Binding: Paperback

    50.84 €

    Buy

We were in the final of Shop of the Year 2014. Find out more